Knihy od autora Sriram Sankaranarayanan

Zobrazené 1 – 9 z 9 výsledkov

1. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Sriram Sankaranarayanan, Natasha Sharygina | Springer, Berlin, 2023

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   41.36 €

   Zľava 7 %

   Ušetríte 3.44 €

   Kúpiť
2. 

   Verification, Model Checking, and Abstract Interpretation

   Krishna S., Sriram Sankaranarayanan, Ashutosh Trivedi | Springer, Berlin, 2025

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   67.06 €

   Zľava 7 %

   Ušetríte 5.60 €

   Kúpiť
3. 

   Automated Technology for Verification and Analysis

   S Akshay, Aina Niemetz, Sriram Sankaranarayanan | Springer, Berlin, 2025

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   133.82 €

   Zľava 7 %

   Ušetríte 11.13 €

   Kúpiť
4. 

   Formal Modeling and Analysis of Timed Systems

   Sriram Sankaranarayanan, Enrico Vicario | Springer International Publishing AG, 2015

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.68 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
5. 

   Automated Technology for Verification and Analysis

   S Akshay, Aina Niemetz, Sriram Sankaranarayanan | Springer, Berlin, 2025

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   154.36 €

   Zľava 7 %

   Ušetríte 12.87 €

   Kúpiť
6. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Sriram Sankaranarayanan, Natasha Sharygina | Springer, Berlin, 2023

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   41.36 €

   Zľava 7 %

   Ušetríte 3.44 €

   Kúpiť
7. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Sriram Sankaranarayanan, Natasha Sharygina | Springer Nature B.V., 2023

   
   

   Skladom u dodávateľa - Odosielame za 10 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   56.94 €

   Zľava 0 %

   Ušetríte 0.01 €

   Kúpiť
8. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Sriram Sankaranarayanan, Natasha Sharygina | Springer Nature B.V., 2023

   
   

   Skladom u dodávateľa - Odosielame za 10 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   56.94 €

   Zľava 0 %

   Ušetríte 0.01 €

   Kúpiť
9. 

   Verification, Model Checking, and Abstract Interpretation

   Krishna S., Sriram Sankaranarayanan, Ashutosh Trivedi | Springer, Berlin, 2025

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   67.06 €

   Zľava 7 %

   Ušetríte 5.60 €

   Kúpiť

Vracajúci sa zákazníci majú zľavy a ďalšie benefity. Zistite viac